121. Communicating process architectures 2009 :
پدیدآورنده : edited by Peter H. Welch [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer architecture, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Transputers, Congresses.,Computer architecture.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,occam (Computer program language),Parallel processing (Electronic computers),Transputers.
رده :
QA76
.
58
.
W58
2009
122. Communication Protocol Specification and Verification
پدیدآورنده : by Richard Lai, Ajin Jirachiefpattana.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer engineering.,Computer hardware.,Computer science.,Software engineering.
123. Computational logistics :
پدیدآورنده : Jürgen W. Böse [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Business logistics-- Data processing, Congresses,Information resources management, Congresses,Information technology, Congresses
رده :
HD38
.
5
.
I58
2011
124. Computational matter /
پدیدآورنده : Susan Stepney, Steen Rasmussen, Martyn Amos, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic data processing.,Natural computation, Congresses.,Soft computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing.,Natural computation.,Soft computing.
رده :
QA76
125. Computational neural networks for geophysical data processing /
پدیدآورنده : edited by Mary M. Poulton.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Neural networks (Computer science),Prospecting-- Geophysical methods-- Data processing.,Neural networks (Computer science),Prospecting-- Geophysical methods-- Data processing.,TECHNOLOGY & ENGINEERING-- Mining.
رده :
TN269
.
C59
2001eb
126. Computational science and its applications -- ICCSA 2014 :
پدیدآورنده : Beniamino Murgante...[and 8 more] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks, Congresses,Computer science, Congresses,Computer software, Congresses,Software engineering, Congresses
رده :
QA75
.
5
127. Computational science and its applications -- ICCSA 2019 :
پدیدآورنده : Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer networks.,Computer science.,Computer software.,Software engineering.
رده :
QA75
.
5
.
I22
2019eb
128. Computational science and its applications - ICCSA 2003 / 3.
پدیدآورنده : Vipin Kumar ... (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
129. Computer Aided Systems Theory - EUROCAST '91 :
پدیدآورنده : by Franz Pichler, Roberto Moreno Diaz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Biology_xData processing.,Computer-aided design.
130. Computer Aided Systems Theory - EUROCAST '95 :
پدیدآورنده : edited by Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computers, Special purpose.,Microprocessors.
رده :
TA345
.
E358
1996
131. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
132. Computer Algorithms for Solving Linear Algebraic Equations :
پدیدآورنده : edited by Emilio Spedicato.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Software engineering.
رده :
QA218
.
E358
1991
133. Computer aided systems theory--EUROCAST '93 :
پدیدآورنده : F. Pichler, R. Moreno Díaz, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer-aided design, Congresses.,Computer-aided engineering, Congresses.
رده :
TA345
.
I62
1993
134. Computer and information sciences :
پدیدآورنده : Tadeusz Czachórski, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Congresses.,Information technology, Congresses.,Artificial Intelligence.,Computer Communication Networks.,Information Systems and Communication Service.,Software Engineering.,System Performance and Evaluation.,Artificial intelligence.,Computer networking & communications.,Computer science.,Computers-- Hardware-- Handheld Devices.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Information technology.,Network hardware.,Software Engineering.,Systems analysis & design.
رده :
QA75
.
5
135. Computer mathematics :
پدیدآورنده : editors, Kiyoshi Shirayanagi, Kazuhiro Yokoyama.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer science, Congresses.,Computer science-- Mathematics.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
9
.
M35
A83
2001eb
136. Computer performance evaluation :
پدیدآورنده : Ramon Puigjaner, Nunzio N. Savino, Bartomeu Serra (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : računalništvo -- optimizacija računalnika -- programska orodja -- zmogljivost -- računalniške mreže -- merjenje -- algoritemske tehnike -- Petrijeve mreže -- zborniki
رده :
QA76
.
9
.
E94
R366
1998
137. Computer simulation validation :
پدیدآورنده : edited by Claus Beisbart, Nicole J. Saam.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer simulation.,Science-- Philosophy.,Computer simulation.,Computer software-- Validation.
رده :
QA76
.
9
.
C65
138. Computing, analytics and networks :
پدیدآورنده : Rajnish Sharma, Archana Mantri, Sumeet Dua (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Artificial intelligence.,Computer networks.,Computer science.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Network hardware.,Software Engineering.
رده :
QA75
.
5
139. Conceptual modeling :
پدیدآورنده : Juan C. Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li, Tok Wang Ling, Guoliang Li, Mong Li Lee (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Database design, Congresses.,Web databases, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Software Engineering.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Data mining.,Database design.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Web databases.
رده :
QA76
.
9
.
D26
140. Conceptual modeling of information systems /
پدیدآورنده : Antoni Olivé
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Database design.,System design.
